addition of congruences